文章标签
SIMP Y
-
基于 SimPy 与 BBR 思想的自适应 gRPC 限流实战
前言 在微服务架构中，gRPC 因其高效的二进制序列化和双向流通信能力被广泛采用。然而，高并发场景下的服务端资源保护始终是工程实践中的痛点。传统的令牌桶或滑动窗口限流依赖静态阈值，面对突发流量时要么放行过多导致雪崩，要么限制过严影响可...
-
深入 zk-SNARK 电路的形式化验证：确保正确性与安全性
引言 各位技术同仁，大家好！ 今天，我们聚焦于零知识证明（Zero-Knowledge Proofs, ZKP）领域中的一个核心技术——zk-SNARK (Zero-Knowledge Succinct Non-Interacti...